e56f801a83b92d54ec3254d3827faa4f9657b98c,tests/org.eclipse.xtext.tests/src/org/eclipse/xtext/util/formallang/PdaUtilTest.java,PdaUtilTest,testShortestStackemptyingPathStackSimplePopLoop,#,165
Before Change
}
public void testShortestStackemptyingPathStackSimplePopLoop() {
PDA pda = newPDA();
pda.state("A").start().to("B");
pda.state("B").to("C", "B").pop("Y");
pda.state("C").stop();
assertEquals("[A, B, B, C]", util.shortestStackpruningPathTo(pda, newStack("Y", "Y"), "C"));
}
After Change
}
public void testShortestStackemptyingPathStackSimplePopLoop() {
StringPda pda = new StringPda("A", "C");
pda.state("A").followedBy("B");
pda.state("B").followedBy("C", "B").pop("Y");
assertEquals("[A, B, B, C]", util.shortestStackpruningPathTo(pda, newStack("Y", "Y"), "C"));
}